<?php

require_once('json_lexer.php');
require_once('../../langs_src/tools/stringstream/stringstream.php');

$input_string = "{\"a\":5}";

StringStreamController::createRef('input_file', $input_string);

$fh = fopen("string://input_file", "r");

$scanner = new json_lexer($fh);

$tokens = array();
while ($token = $scanner->next_token()) {
    $token->print_node();
}
?>